There is currently a growing interest in techniques for hiding parts of thesignature of an ontology Kh that is being reused by another ontology Kv.Towards this goal, in this paper we propose the import-by-query framework,which makes the content of Kh accessible through a limited query interface. IfKv reuses the symbols from Kh in a certain restricted way, one can reason overKv U Kh by accessing only Kv and the query interface. We map out the landscapeof the import-by-query problem. In particular, we outline the limitations ofour framework and prove that certain restrictions on the expressivity of Kh andthe way in which Kv reuses symbols from Kh are strictly necessary to enablereasoning in our setting. We also identify cases in which reasoning is possibleand we present suitable import-by-query reasoning algorithms.
展开▼
机译:当前,对于隐藏由另一种本体Kv重用的本体Kh的部分签名的技术的兴趣日益浓厚。针对这一目标,在本文中,我们提出了一种基于查询的导入框架,该框架使Kh的内容可访问通过有限的查询界面。如果Kv以某种受限制的方式重用了Kh中的符号,则可以通过仅访问Kv和查询接口来推理出Kv U Kh。我们列出了按查询导入问题的概况。特别是,我们概述了我们框架的局限性,并证明对Kh的表达能力和Kv重用Kh符号的方式的某些限制对于在我们的环境中实现推理是绝对必要的。我们还确定了可能进行推理的情况,并提出了合适的“按查询导入”推理算法。
展开▼